翻訳と辞書
Words near each other
・ Nomu (film)
・ Nomu language
・ Nomudar Kola
・ Nomuka
・ Nomula
・ Nomula Narsimhaiah
・ Nomula, Nalgonda
・ Nomula, Ranga Reddy
・ Nomule
・ Nominal Pipe Size
・ Nominal power (photovoltaic)
・ Nominal rigidity
・ Nominal sentence
・ Nominal size
・ Nominal TAM
Nominal techniques
・ Nominal terms
・ Nominal terms (computer science)
・ Nominal type system
・ Nominal watt
・ Nominal yield
・ Nominalia of the Bulgarian khans
・ Nominalism
・ Nominalization
・ Nominalized adjective
・ NOMINATE (scaling method)
・ Nominate contract
・ Nominate reports
・ Nominated adviser
・ Nominated Member of Legislative Assembly


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Nominal techniques : ウィキペディア英語版
Nominal techniques

Nominal techniques are a range of techniques, based on nominal sets, for handling names and binding, e.g. in abstract syntax. Research into nominal sets gave rise to nominal terms, a metalanguage for embedding object languages with name binding constructs.
==See also==

* De Bruijn index
* Higher order abstract syntax

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Nominal techniques」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.